!new function() {
    var a = this;
    a.width = 750,
        a.fontSize = 100,
        a.widthProportion = function() {
            var b = (document.body && document.body.clientWidth || document.getElementsByTagName("html")[0].offsetWidth) / a.width;
            return b > 1 ? 1 : b
        },
        a.changePage = function() {
            document.getElementsByTagName("html")[0].setAttribute("style", "font-size:" + a.widthProportion() * a.fontSize + "px !important")
        },
        a.changePage(),
        window.addEventListener("resize", function() { a.changePage() }, !1)
};